A combinatory account of internal structure
نویسندگان
چکیده
منابع مشابه
A combinatory account of internal structure
Traditional combinatory logic is able to represent all Turing computable functions on natural numbers, but there are effectively calculable functions on the combinators themselves that cannot be so represented, because they have direct access to the internal structure of their arguments. Some of this expressive power is captured by adding a factorisation combinator. It supports structural equal...
متن کاملInternal Structure Features of Asphalt Mixture for Field Samples
Asphalt mixture is heterogeneous in nature; therefore, macroscopic parameters alone cannot describe the mechanical behavior of the mixture. In recent years, the arrangement of the aggregate particles in terms of spatial and directional distributions, and contact points are considered as the internal structure of asphalt. The main purpose of this paper is to investigate the microstructural chara...
متن کاملA COMPARISON BETWEEN THERMAL AND X RADIOGRAPHY FOR STUDYING THE INTERNAL STRUCTURE OF BIOLOGICAL
ABSTRACT Background: With respect to the difference in the interaction of thermal neutron and X rays with matter, using two radiography systems of thermal neutron and X rays will yield highly valuable information for studying the inner structure of biologic samples. Methods: The high sensitivity of thermal neutron to hydrogen, in particular, has led to recognizing this system as a useful tool ...
متن کاملInduction of Linguistic Structure with Combinatory Categorial Grammars
Our system consists of a simple, EM-based induction algorithm (Bisk and Hockenmaier, 2012), which induces a language-specific Combinatory Categorial grammar (CCG) and lexicon based on a small number of linguistic principles, e.g. that verbs may be the roots of sentences and can take nouns as arguments.
متن کاملUnificational Combinatory Categorial Grammar. Combining Information Structure and Discourse Representations
In this paper we present a grammar formalism that combines the insights from Combinatory Categorial Grammar with feature structure unification. We show how information structure can be incorporated with syntactic and semantic representations in a principled way. We focus on the way theme, rheme, and focus are integrated in the compositional semantics, using Discourse Representation Theory as fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2011
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1309952521